Symbolic Models for a Class of Impulsive Systems

Symbolic models have been used as the basis of a systematic framework to address control design several classes hybrid systems with sophisticated objectives. However, results available in literature are not concerned impulsive which an important modeling many applications. In this letter, we provide approach for constructing symbolic class possessing some stability properties. We formally relate and their using notion so-called alternating simulation function. show that behaviors constructed approximately equivalent those systems. Finally, illustrate effectiveness our through case study.